Home Up Previous Next Random Flashcard
In Set, ?any set with exactly one element is a terminal object. For an arbitrary other set, we have no choice but ?to send everything to that one object when specifying a function.